def build_project(
    project_spec: str,
    architect: ArchitectAgent,
    coder: CoderAgent,
    reviewer: ReviewerAgent,
) -> list[ReviewResult]:
    """Choreographic program describing the full build workflow.

    1. Architect breaks the project into module specs.
    2. Coders implement modules in parallel (scatter distributes via claim-based pull).
    3. Reviewers review modules in parallel; coders fix in parallel until all pass.
    """
    # Step 1: Architect plans modules
    plan = architect.plan_modules(project_spec)
    modules = plan["modules"]

    # Step 2: Scatter implementation across coders
    scatter(modules,coder,lambda c, mod: c.implement_module(mod))

    # Step 3: Review loop
    while True:
        reviews = scatter(modules, reviewer,
            lambda r, mod: r.review_module(mod["module_path"], mod["test_path"]),
        )

        needs_fixes = [(mod, review)
            for mod, review in zip(modules, reviews)
            if review["verdict"] == "NEEDS_FIXES"
        ]

        if not needs_fixes:
            return reviews

        scatter(needs_fixes, coder,
            lambda c, (mod, review): c.implement_module(
                mod, fix_feedback=review["feedback"]
            )
        )